Beta normal form